Dendroidal sets and simplicial operads
نویسندگان
چکیده
منابع مشابه
The Model Category of Operads in Simplicial Sets
In §1.4, we briefly explained the definition of a natural model structure for simplicial (and topological) operads. In what follows, we also refer to this model structure as the projective model structure. The weak-equivalences (respectively, fibrations) are, according to this definition, the morphisms of operads which form a weak-equivalence (respectively, a fibration) in the base category of ...
متن کاملTwo Models for the Homotopy Theory of ∞-operads
We compare two models for ∞-operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this with comparison results already in the literature, this implies that all known models for ∞-operads are equivalent — for instance, it follows that the homotopy theory of Lurie’s ∞-operads is equivalent to that of dendroidal sets and that of...
متن کاملFinite Sets and Symmetric Simplicial Sets
The category of finite cardinals (or, equivalently, of finite sets) is the symmetric analogue of the category of finite ordinals, and the ground category of a relevant category of presheaves, the augmented symmetric simplicial sets. We prove here that this ground category has characterisations similar to the classical ones for the category of finite ordinals, by the existence of a universal sym...
متن کاملFibrations of Simplicial Sets
There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen’s axioms for a homotopy model category. The combinatorics underlying these fibrations is purely finitary and seems interesting both for its own sake and for its interaction with homotopy types. To show...
متن کاملCofibrant Simplicial Sets
1. Elegant Reedy categories 1.1. Reedy categories. Recall that a Reedy structure on a category C is given by: a pair of identity-on-objects subcategories C− and C+ of C together with a degree function |–| : ob C → N such that: • For all non-identity σ : c→ d in C−, we have |c| > |d|; • For all non-identity δ : c→ d in C+, we have |c| < |d|. • Every map γ : c→ d of C admits a unique factorisatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Topology
سال: 2013
ISSN: 1753-8416
DOI: 10.1112/jtopol/jtt006